1. Collected works
پدیدآورنده: Kurt Godel
کتابخانه: كتابخانه مركزی دانشگاه شهركرد (چهار محال و بختیاری)
موضوع: Logic, symbolic and mathematical
2. Collected works
پدیدآورنده: Godel, Kurt Friedrich, 6091-8791
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Collected works ، Logic, Symbolic and mathematical
رده :
QA
9
.
G5313
3. Collected works, Works. English & German. 5891
پدیدآورنده: Godel, Kurt
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
G5313
1986
4. Collegium Logicum.
پدیدآورنده: Kurt Gödel Society.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer software.,Mathematics.
5. Collegium Logicum.
پدیدآورنده: Kurt-Gödel-Gesellschaft
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer software.,Logic design.
6. Obras completas
پدیدآورنده: Kurt Gödel; introducción y traducción de Jesús Mosterín.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Lògica matemàtica.
رده :
QA9
.
65
K878
2006
7. On formally undecidable propositions of Principia mathematica and related systems
پدیدآورنده: Kurt Godel ; translated by B. Meltzer ; introduction by R.B. Braithwaite
کتابخانه: كتابخانه مركزی دانشگاه شهركرد (چهار محال و بختیاری)
موضوع: Geodel's theorem
8. On formally undecidable propositions of Principia mathematica and related systems
پدیدآورنده: Godel, Kurt.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Godel's theorem
رده :
QA
248
.
G573
1992
9. On formally undecidable propositions of principia mathematica and related systems
پدیدآورنده: Godel, Kurt Friedrich, 6091-8791
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Godel's theorem
رده :
QA
9
.
65
.
G63U213
10. Scritti scelti :
پدیدآورنده: Kurt Gödel ; a cura di Gabriele Lolli.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logica matematica.
11. The consistency of the Axiom of choice and of the generalized continuum- Hypothesis with the Axioms of set theory
پدیدآورنده: / Kurt Godel
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Mathematics-philosophy,Logic,Symbolic and mathematical
رده :
QA
9
.
G54
12. The consistency of the axiom of choice and of the generalized continum-hypothesis with the axioms of set theory
پدیدآورنده: Godel, Kurt
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1953
13. The consistency of the axiom of choice and of the generalized continuum - Hypothesis with the axioms of set theory
پدیدآورنده: Godel, Kurt
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع: ، Mathematics - Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1968
14. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
پدیدآورنده: Godel, Kurt
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
1
.
A626
no
.
3
15. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
پدیدآورنده: /by Kurt Godel.,گودل,Godel
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: ریاضیات,منطق ریاضی, -- فلسفه
رده :
QA
۹
/
گ
۹
ک
۲ ۱۳۴۵
16. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
پدیدآورنده: Godel, kurt
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Mathematics-Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1966
17. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
پدیدآورنده: Godel, Kurt.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع: Philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1940
18. The consistency of the axiom of choice and of the genralized continuum-hypothesis with the axioms of set theory
پدیدآورنده: Godel, Kurt
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Mathematics-philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1968
19. ناتماميت
پدیدآورنده: / ربکا گلدستين,عنوان اصلي: Incompleteness : the proof and paradox of Kurt Godel, c2005,گلدستاين,Goldstein
کتابخانه: کتابخانه مرکزی آستان قدس رضوی (خراسان رضوی)
موضوع: گودل، کورت، ۱۹۰۶ - ۱۹۷۸م,منطق‌دان‌ها,Logicians,منطق‌دان‌ها,Logicians,گودل، قضيه,-- سرگذشتنامه,-- Biography,-- سرگذشتنامه,-- Biography,-- ایالات متحده,-- United States,-- اتریش,-- Austria
رده :
۵۱۰
/
۹۲
گ
۷۴۹
/
نگ
20. ناتمامیت: اثبات و پارادوکس کرت گودل
پدیدآورنده: / ربکا گلدستین,عنوان اصلی: Incompleteness : the proof and paradox of Kurt Gödel, c2005.,گلدستاین,Goldstein
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: گودل,، کورت,، ۱۹۰۶ - ۱۹۷۸م.,a01,منطق‌دان‌ها,Logicians,منطق‌دان‌ها,Logicians,گودل، قضیه,Godel's theorem,-- سرگذشتنامه,-- Biography,-- سرگذشتنامه,-- Biography,-- ایالات متحده,-- United States,-- اتریش,-- Austria,a10,a10
رده :
QA
۲۹
/
گ
۹
گ
۸ ۱۳۹۴
